Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study

摘要

The logics of knowledge are modal logics that have been shown to be effectivein representing and reasoning about knowledge in multi-agent domains.Relatively few computational frameworks for dealing with computation of modelsand useful transformations in logics of knowledge (e.g., to support multi-agentplanning with knowledge actions and degrees of visibility) have been proposed.This paper explores the use of logic programming (LP) to encode interestingforms of logics of knowledge and compute Kripke models. The LP modeling isexpanded with useful operators on Kripke structures, to support multi-agentplanning in the presence of both world-altering and knowledge actions. Thisresults in the first ever implementation of a planner for this type of complexmulti-agent domains.